$\forall$$A$, $B$:Type. K $\in$ $A$$\rightarrow$$B$$\rightarrow$$A$